#!/bin/bash
#
# Probably superfluous. Simple script that automates translating the
# graph file layout.gv into an image (png), post script and
# pdf.
#

dot -Tpng layout.gv > graph.png
dot -Tps layout.gv > graph.ps
ps2pdf graph.ps
